DIR: messages-and-kinds

DIR: decidable-equality

DIR: finite-partial-functions

DIR: event-structures